“用法—提及区分”（use-mention distinction）：语言哲学与逻辑中的一个基本区分——使用一个词是在用它指称事物、表达意思；提及一个词是在把这个词本身当作对象来谈论（常用引号或排版来标示）。
/ˈjuːs ˈmɛnʃən dɪˈstɪŋkʃən/
The use-mention distinction helps students avoid confusion about quotes.
“用法—提及区分”能帮助学生避免对引号内容产生混淆。
In formal semantics, failing to respect the use-mention distinction can lead to category mistakes when analyzing statements about words versus statements made with words.
在形式语义学中，如果不遵守“用法—提及区分”，在分析“关于词的陈述”和“用词做出的陈述”时就可能出现范畴错误。
该术语由英语中 use（使用） 与 mention（提及） 组合而成，用来概括逻辑与语言分析中的一种常见做法：区分“语言作为工具在说什么”与“语言作为对象被谈论什么”。这一思想在20世纪分析哲学与数理逻辑传统中被系统化，用于澄清引号、元语言（谈论语言的语言）以及自指等问题。
Select Language